Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science)
by Nicola Olivetti,Ashish Tiwari
ISBN 13: 9783319402284
Format: Paperback (600 pages) Publisher: Springer Published: 12 Jun 2016
Save for later
Proof Theory for Fuzzy Logics: 36 (Applied Logic Series)
by George Metcalfe,Nicola Olivetti,Dov M. Gabbay
ISBN 13: 9789048181216
Format: Paperback (284 pages) Publisher: Springer Published: 22 Oct 2010